Polytypism in ultrathin tellurium

Tellurium and tellurium compounds

Nested collections and polytypism

A point free calculus of so called collection types is presented similar to the monadic calculus of Tannen Buneman and Wong We observe that our calculus is parametrised by a monad thus making the calculus polytypic A novel contribution of the paper is to discuss situations in which a single application involves more than one collection type In particular we outline the contribution to database ...

High-power density piezoelectric energy harvesting using radially strained ultrathin trigonal tellurium nanowire assembly.

A high-yield solution-processed ultrathin (<10 nm) trigonal tellurium (t-Te) nanowire (NW) is introduced as a new class of piezoelectric nanomaterial with a six-fold higher piezoelectric constant compared to conventional ZnO NWs for a high-volume power-density nanogenerator (NG). While determining the energy-harvesting principle in a NG consisting of t-Te NW, it is theoretically and experimenta...

Applications of Polytypism in Theorem Proving

Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of polymorphic equality, prettyprinting, and the encoding and decoding of high-level datatypes to and from low-level binary formats. In this paper, we discuss how polytypism supports some aspects of theorem proving: automated ter...

Fault-induced polytypism in (Cr, Fe)2B

The microstructures of chromium and iron borides formed during laser surface alloying of AISI 1045 steel with CrB were examined by transmission electron microscopy combined with selected-area electron diffraction and X-ray-dispersive spectroscopy. It was found that the heavily faulted (Cr, Fe)2B phase contains a microsyntactic existence of several polytypes, including one-dimensionally disorder...